home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.xa;
-
- import com.extensibility.app.BaseAction;
- import com.extensibility.app.BaseEdit;
- import com.extensibility.app.BaseUndoable;
- import com.extensibility.app.DialogFactory;
- import com.extensibility.app.UI;
- import java.awt.Toolkit;
- import java.awt.event.ActionEvent;
-
- class SourcePane$1 extends BaseAction {
- // $FF: synthetic field
- final SourcePane this$0;
-
- public void actionOccurred(ActionEvent var1) {
- if (!this.this$0.getSchemaDoc().isEditable(this.this$0.uri)) {
- Toolkit.getDefaultToolkit().beep();
- } else if (this.this$0.isInSync() || DialogFactory.showConfirm(this.this$0.getComponent(), UI.getString("dialog.confirm.parse"), UI.getString("dialog.parse"))) {
- this.this$0.getSchemaDoc().getUndoManager().discardAllEdits();
- BaseUndoable var2 = this.this$0.createSourceReparseUndoable();
- ((BaseEdit)var2).doCommand();
- this.this$0.undoManager.discardAllEdits();
- this.this$0.undoManager.addEdit(var2);
- }
- }
-
- SourcePane$1(SourcePane var1, String var2, int var3, int var4) {
- super(var2, var3, var4);
- this.this$0 = var1;
- }
- }
-